Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
711	Improved Large Margin Dependency Parsing via Local Constraints and Laplacian Regularization Qin Iris Wang Colin Cherry Dan Lizotte Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2006-04-29 22:20:23 Statistical natural language processing Science Computational linguistics Corpus linguistics Parsing Treebank Parse tree Stochastic context-free grammar Statistical parsing Linguistics Formal languages Compiler construction
712	Varieties Generated by Certain Models of Reversible Finite Automata Marats Golovkins∗ Faculty of Computing, University of Latvia, Rai¸na bulv. 29, Riga LV-1459, Latvia marats at latnet dot lv Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:29:25 Mathematics Semigroup theory Algebra Category theory Models of computation Monoid Semiautomaton Semigroup Regular language Automata theory Abstract algebra Formal languages
713	An Efficient Algorithm to Test Square-Freeness of Strings Compressed by Balanced Straight Line Programs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:20:41 Computing Formal languages Compiler construction Context-free grammar
714	Negative Ternary Set-Sharing Eric Trias,1,2, Jorge Navas,1 Elena S. Ackley,1 Stephanie Forrest1 , and M. Hermenegildo1,3 1 University of New Mexico, USA Air Force Institute of Technology, USA Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-11-02 22:57:41 Formal languages Boolean algebra Character encoding String FO Finitary relation Binary decision diagram Mathematics Theoretical computer science Combinatorics
715	VMCBKR14.QRP Infor Global Solutions Customer Order Bookings Report (by SIC Code) Add to Reading List Source URL: www.virant.com Language: English - Date: 2015-04-17 13:49:58 Formal languages Computer languages Character encoding String Len SQL Computing Software engineering Computer programming
716	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
717	An Efficient Algorithm to Test Square-Freeness of Strings Compressed by Balanced Straight Line Programs Wataru Matsubara∗ Shunsuke Inenaga† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:06 Computing Formal languages Compiler construction Context-free grammar
718	Proc. of the 37th ACL (Assoc. for Computational LinguisticsEfficient Parsing for Bilexical Context-Free Grammars and Head Automaton Grammars∗ Jason Eisner Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2012-09-12 23:56:12 Software engineering CYK algorithm Formal grammar Context-free grammar Parsing Automata theory Categorial grammar Formal languages Grammar Linguistics
719	Applications of Approximate Word Matching in Information Retrieval J. C. French, A. L. Powell, E. Schulman* Department of Computer Science, University of Virginia National Radio Astronomy Observatory CIKM ’97 November Add to Reading List Source URL: www.cs.virginia.edu Language: English* - Date: 1998-07-01 11:12:28 Computing Science Dynamic programming Approximate string matching String searching algorithm Edit distance Regular expression String Astrophysics Data System Pattern matching Formal languages Combinatorics
720	SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2014-07-12 11:46:12 Constraint programming Formal languages Prolog Logic programming Logtalk Definite clause grammar ECLiPSe Unification String Software engineering Computing Computer programming

UPDATE